1![Lifting Problems in a Grothendieck Fibration Andrew Swan July 21, 2017 The notion of lifting problem is a central concept in homotopical algebra, as well as in the semantics of homotopy type theory. Given two maps m : U Lifting Problems in a Grothendieck Fibration Andrew Swan July 21, 2017 The notion of lifting problem is a central concept in homotopical algebra, as well as in the semantics of homotopy type theory. Given two maps m : U](https://www.pdfsearch.io/img/a32a0e410dd35e0d80a75d44c11daad8.jpg) | Add to Reading ListSource URL: hott-uf.github.ioLanguage: English - Date: 2018-08-13 11:55:33
|
---|
2![Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe](https://www.pdfsearch.io/img/0eb1b16e6bf5385fd9c71427059425d1.jpg) | Add to Reading ListSource URL: hott-uf.gforge.inria.frLanguage: English - Date: 2016-03-10 17:41:39
|
---|
3![A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c](https://www.pdfsearch.io/img/e36ce30f12a9ca55c06aa80e6b364eaa.jpg) | Add to Reading ListSource URL: www.andrew.cmu.edu- Date: 2018-02-12 22:13:01
|
---|
4![MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an](https://www.pdfsearch.io/img/4a0d6864d4043086b495e71378c47b8a.jpg) | Add to Reading ListSource URL: hott-uf.github.io- Date: 2018-03-28 14:04:14
|
---|
5![A COINDUCTIVE APPROACH TO TYPE VALUED EQUIVALENCE RELATIONS SIMON BOULIER, EGBERT RIJKE, AND NICOLAS TABAREAU A BSTRACT. We propose a coinductive definition of ∞-equivalence relations in Homotopy Type Theory, where the A COINDUCTIVE APPROACH TO TYPE VALUED EQUIVALENCE RELATIONS SIMON BOULIER, EGBERT RIJKE, AND NICOLAS TABAREAU A BSTRACT. We propose a coinductive definition of ∞-equivalence relations in Homotopy Type Theory, where the](https://www.pdfsearch.io/img/7b87b2d5de881e8a43f22754d5a586fd.jpg) | Add to Reading ListSource URL: hott-uf.github.io- Date: 2018-03-28 14:04:14
|
---|
6![UNFOLDING FOLDS MATTHEW WEAVER AND DIMITRIS TSEMENTZIS A well-known problem in Homotopy Type Theory is that of constructing objects that seemingly require infinitely many coherence conditions in their definition. One sol UNFOLDING FOLDS MATTHEW WEAVER AND DIMITRIS TSEMENTZIS A well-known problem in Homotopy Type Theory is that of constructing objects that seemingly require infinitely many coherence conditions in their definition. One sol](https://www.pdfsearch.io/img/14ececb23f0f9f44092173b50f13fc53.jpg) | Add to Reading ListSource URL: hott-uf.github.io- Date: 2018-03-28 14:04:14
|
---|
7![List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c](https://www.pdfsearch.io/img/77eac45edc713ae1830ab83a21696785.jpg) | Add to Reading ListSource URL: people.cs.kuleuven.be- Date: 2016-01-27 04:46:30
|
---|
8![ELLIPTIC CURVES AND ALGEBRAIC TOPOLOGY MATTHEW ANDO Part 1. Elliptic curves and chromatic stable homotopy theory Elliptic curves enter algebraic topology through “Elliptic cohomology”–really a family of cohomology ELLIPTIC CURVES AND ALGEBRAIC TOPOLOGY MATTHEW ANDO Part 1. Elliptic curves and chromatic stable homotopy theory Elliptic curves enter algebraic topology through “Elliptic cohomology”–really a family of cohomology](https://www.pdfsearch.io/img/b737824183a8c6f14cd7c79fa71eb0e6.jpg) | Add to Reading ListSource URL: www.math.uiuc.edu- Date: 2003-08-27 15:44:38
|
---|
9![Math. Z. 239, 803–Digital Object Identifier (DOIs002090100347 A uniqueness theorem for stable homotopy theory Stefan Schwede1 , Brooke Shipley2 1 Math. Z. 239, 803–Digital Object Identifier (DOIs002090100347 A uniqueness theorem for stable homotopy theory Stefan Schwede1 , Brooke Shipley2 1](https://www.pdfsearch.io/img/0ff73b0c7992fafc8aac3d8bd441d652.jpg) | Add to Reading ListSource URL: www.math.uni-bonn.de- Date: 2003-11-07 09:15:55
|
---|
10![ORBISPACES, ORTHOGONAL SPACES, AND THE UNIVERSAL COMPACT LIE GROUP STEFAN SCHWEDE Introduction In this article we provide a new perspectives on unstable global homotopy theory: we interpret it as the ORBISPACES, ORTHOGONAL SPACES, AND THE UNIVERSAL COMPACT LIE GROUP STEFAN SCHWEDE Introduction In this article we provide a new perspectives on unstable global homotopy theory: we interpret it as the](https://www.pdfsearch.io/img/5467b7ff3bcfc0d0b9828188f5f94c85.jpg) | Add to Reading ListSource URL: www.math.uni-bonn.de- Date: 2016-03-09 07:40:20
|
---|